CryptoLat - a Pedagogical Software on Lattice Cryptomorphisms and Lattice Properties
نویسنده
چکیده
Although lattice theory is a rich field dating from Dedekind, Birkhoff and Öre, few studies in FCA use lattice properties to enhance their results. Moreover, out of the many cryptomorphisms associated with lattices, only the ones associating context, lattice and implicational system are effectively studied. CryptoLat is a software implemented in C] which provides an intuitive view on different cryptomorphisms of lattices as well as on different properties of lattices. Its purpose is pedagogical, for students and researchers likewise, and work by showing incremental changes in the lattice and the associated cryptomorphisms.
منابع مشابه
Investigation on Mechanical and Electrical Properties of Cu-Ti Nanocomposite Produced by Mechanical Alloying
In this paper, Cu-Ti nanocomposite synthesized via ball milling of copper-titanium powders in 1, 3, and 6 of weight percentage compounds. The vial speed was 350 rpm and ball to powder weight ratio kept at 15:1 under Argon atmosphere, and the time of milling was 90 h. Obtained powders were studied by scanning electron microscopy (SEM), X-ray diffraction (XRD), and dynamic light scattering (DLS)....
متن کاملMagnetic Properties in a Spin-1 Random Transverse Ising Model on Square Lattice
In this paper we investigate the effect of a random transverse field, distributed according to a trimodal distribution, on the phase diagram and magnetic properties of a two-dimensional lattice (square with z=4), ferromagnetic Ising system consisting of magnetic atoms with spin-1. This study is done using the effectivefield theory (EFT) with correlations method. The equations are derived using...
متن کاملExperimental and FEM Analysis of Ribs Defects on Composite Lattice Cylindrical Shells
In this study, the behavior of a composite lattice cylindrical shell is investigated in the buckling deforming. Also, the distribution of shell buckling response and the stress field is studied after making some defects on the ribs.Therefore using ANSYS software, a 3D finite element model of the shell has been created for the analysis. Material properties and geometrical data of the shell are o...
متن کاملMagnetic Properties and Phase Transitions in a Spin-1 Random Transverse Ising Model on Simple Cubic Lattice
Within the effective-field theory with correlations (EFT), a transverse random field spin-1 Ising model on the simple cubic (z=6) lattice is studied. The phase diagrams, the behavior of critical points, transverse magnetization, internal energy, magnetic specific heat are obtained numerically and discussed for different values of p the concentration of the random transverse field.
متن کاملOn fuzzy convex lattice-ordered subgroups
In this paper, the concept of fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) of an ordered group (resp. lattice-ordered group) is introduced and some properties, characterizations and related results are given. Also, the fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) generated by a fuzzy subgroup (resp. fuzzy subsemigroup) is characterized. Furthermore,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013